The housing market setting constitutes a fundamental model of exchangeeconomies of goods. In most of the work concerning housing markets, it isassumed that agents own and are allocated discrete houses. The drawback of thisassumption is that it does not cater for randomized assignments or allocationof time-shares. Recently, house allocation with fractional endowment of houseswas considered by Athanassoglou and Sethuraman (2011) who posed the openproblem of generalizing Gale's Top Trading Cycles (TTC) algorithm to the caseof housing markets with fractional endowments. In this paper, we address theproblem and present a generalization of TTC called FTTC that is polynomial-timeas well as core stable and Pareto optimal with respect to stochastic dominanceeven if there are indifferences in the preferences. We prove that if each agentowns one discrete house, FTTC coincides with a state of the art strategyproofmechanism for housing markets with discrete endowments and weak preferences. We show that FTTC satisfies a maximal set of desirable properties by provingtwo impossibility theorems. Firstly, we prove that with respect to stochasticdominance, core stability and no justified envy are incompatible. Secondly, weprove that there exists no individual rational, Pareto optimal and weakstrategyproof mechanism, thereby answering another open problem posed byAthanassoglou and Sethuraman (2011). The second impossibility implies a numberof results in the literature.
展开▼
机译:住房市场环境构成了商品交换经济的基本模型。在有关住房市场的大多数工作中,假定代理商拥有并分配独立的住房。这种假设的缺点是它不能满足随机分配或时间份额的分配。最近,Athanassoglou and Sethuraman(2011)考虑了具有部分end赋的房屋分配,他们提出了将Gale的顶级交易周期(TTC)算法推广到具有部分end赋的房屋市场的问题。在本文中,我们解决了这个问题,并提出了一个称为FTTC的TTC的泛化,它是多项式时间,并且对于随机支配性具有核心稳定性和Pareto最优,即使偏好没有差异也是如此。我们证明,如果每个代理人拥有一所独立的房屋,FTTC就会与具有独立的end赋和弱偏好的房屋市场的最新战略证明机制相吻合。我们证明了FTTC通过证明两个不可能定理可以满足最大的期望属性集。首先,我们证明,就随机支配而言,核心稳定性和没有正当的嫉妒是不相容的。其次,我们证明不存在个人理性,帕累托最优和弱策略证明机制,从而回答了Athanassoglou和Sethuraman(2011)提出的另一个开放问题。第二种可能性暗示了文献中的许多结果。
展开▼